A Mathematical Model of Deductive and Non-Deductive Inferences
نویسندگان
چکیده
منابع مشابه
The effect of negation on deductive inferences.
Research shows that negation can suppress the activation of propositions presented explicitly in text, but does negation have a similar effect on propositions that can be inferred? That is, does negation inhibit the inference process? Four experiments investigated whether a deductive inference that produces a negated conclusion (therefore not a) is made as readily as a similar inference form th...
متن کاملInductive and deductive inferences in a Crowdsourced Lexical-Semantic Network
Inductive and deductive inferences in a Crowdsourced Lexical-Semantic Network In Computational Linguistics, validated lexical-semantic networks are crucial resources. Regardless the construction strategies used, automatically inferring new relations from already existing ones may improve coverage and global quality of the resource. In this context, an inference engine aims at producing new conc...
متن کاملA Deductive Model of Belief
Representing and reasoning about the knowledge an agent (human or computer) must have to accomplish some task is becoming an increasingly important issue in artif icial intelligence (AI) research. To reason about an agent's beliefs, an AI system must assume some formal model of those beliefs. An attractive candidate is the Deductive Belief model: an agent's beliefs are described as a set of sen...
متن کاملSimulating Non-Deductive Reasoning
T h i s paper i s i n t e n d e d t o d raw a t t e n t i o n t o a l i t e r a t u r e i n P h i l o s o p h y t h a t w o u l d b e o f g r e a t use and i n t e r e s t t o r e s e a r c h e r s a t t e m p t i n g t o s i m u l a t e n o n d e d u c t i v e r e a s o n i n g . Two m o d e l s o f such r e a s o n i n g a r e d i s c u s s e d , and t h e k e r n e l r o l e o f t h e c o n ...
متن کاملDeductive Model Checking
We present an extension of classical tableau-based model checking procedures to the case of innnite-state systems, using deductive methods in an incremental construction of the behavior graph. Logical formulas are used to represent innnite sets of states in an abstraction of this graph, which is repeatedly reened in the search for a counterexample computation, ruling out large portions of the g...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of the Japan Association for Philosophy of Science
سال: 2009
ISSN: 0453-0691,1884-1228
DOI: 10.4288/jafpos.17.0_1